CS Games

Results: 307



#Item
61

Winning Regions of Pushdown Parity Games: A Saturation Method Matthew Hague and C.-H. Luke Ong Oxford University Computing Laboratory Abstract. We present a new algorithm for computing the winning region of a parity gam

Add to Reading List

Source URL: www.cs.rhul.ac.uk

Language: English - Date: 2013-02-08 18:19:57
    62

    Quit Playing Games With My Heart: Understanding Online Dating Scams JingMin Huang, Gianluca Stringhini† , and Peng Yong University College London† , , pengyong20@picc.c

    Add to Reading List

    Source URL: www0.cs.ucl.ac.uk

    Language: English
      63

      The complexity of solving reachability games using value and strategy iteration ∗ Kristoffer Arnsfelt Hansen, Rasmus Ibsen-Jensen, and Peter Bro Miltersen Aarhus University {arnsfelt,rij,pbmiltersen}@cs.au.dk

      Add to Reading List

      Source URL: www.cs.au.dk

      Language: English - Date: 2015-08-11 05:53:51
        64

        Beyond Simulations: Serious Games for Training Interpersonal Skills in Law Enforcement Jeroen Linssen, Mari¨et Theune and Merijn Bruijnes Department of Human Media Interaction University of Twente

        Add to Reading List

        Source URL: wwwhome.cs.utwente.nl

        Language: English - Date: 2014-12-29 11:01:00
          65

          Errata for: A subexponential lower bound for the Random Facet algorithm for Parity Games Oliver Friedmann∗ Thomas Dueholm Hansen†

          Add to Reading List

          Source URL: cs.au.dk

          Language: English - Date: 2014-02-17 16:32:06
            66

            On Acyclicity of Games with Cycles Daniel Andersson1 Vladimir Gurvich2 Thomas Dueholm Hansen1 1 2

            Add to Reading List

            Source URL: cs.au.dk

            Language: English - Date: 2009-09-03 17:00:45
              67

              Winning Regions of Pushdown Parity Games: A Saturation Method M. Hague and

              Add to Reading List

              Source URL: www.cs.rhul.ac.uk

              Language: English - Date: 2013-02-08 18:19:57
                68

                Beyond Simulations: Serious Games for Training Interpersonal Skills in Law Enforcement Jeroen Linssen, Mari¨et Theune and Merijn Bruijnes Department of Human Media Interaction University of Twente

                Add to Reading List

                Source URL: wwwhome.cs.utwente.nl

                Language: English - Date: 2014-12-29 11:01:00
                  69

                  The complexity of interior point methods for solving discounted turn-based stochastic games Thomas Dueholm Hansen1,2 1 Rasmus Ibsen-Jensen1

                  Add to Reading List

                  Source URL: cs.au.dk

                  Language: English - Date: 2014-10-11 19:20:21
                    70

                    A Faster Algorithm for Solving One-Clock Priced Timed Games∗ Thomas Dueholm Hansen† Rasmus Ibsen-Jensen†

                    Add to Reading List

                    Source URL: www.cs.au.dk

                    Language: English - Date: 2015-08-11 05:53:51
                      UPDATE